منابع مشابه
Rapid Bacterial Detection via an All-Electronic CMOS Biosensor
The timely and accurate diagnosis of infectious diseases is one of the greatest challenges currently facing modern medicine. The development of innovative techniques for the rapid and accurate identification of bacterial pathogens in point-of-care facilities using low-cost, portable instruments is essential. We have developed a novel all-electronic biosensor that is able to identify bacteria in...
متن کاملCommunications in Electronic Textile Systems
Electronic textiles (e-textiles) are emerging as a novel method for constructing electronic systems in wearable and large area applications. This new type of processing system merges textile and electronic technologies. This paper studies the communication requirements between the computing and sensing elements of an e-textile. This communication is studied through the construction of a prototy...
متن کاملElectronic Communications of the EASST
Most processes in database engineering consist in transforming schemas according to definite requirements. Basically, a schema transformation is a rewriting rule that allows schema constructs to be replaced by other constructs that are expected to better meet these requirements. Schema normalization, logical design, schema integration, view derivation, proving schema equivalence, data conversio...
متن کاملElectronic Communications of the EASST
In this paper we present a fully symbolic TCTL model checking algorithm for incomplete timed systems. Our algorithm is able to prove that a TCTL property is violated or satisfied regardless of the implementation of unknown timed components in the system. For that purpose the algorithm computes overapproximations of sets of states fulfilling a TCTL property φ for at least one implementation of t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Neuroscience
سال: 1999
ISSN: 0270-6474,1529-2401
DOI: 10.1523/jneurosci.19-10-j0001.1999